Functional predicate - PDFSEARCH.IO - Document Search Engine

Functional predicate
Results: 59

#	Item
31	A Type System for Expressive Security Policies∗ David Walker Cornell University Abstract Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 1999-06-07 14:58:01 Logic Mathematics Semantics Models of computation Formal languages First-order logic Type safety Predicate Functional predicate Automata theory Model theory Mathematical logic
32	Lisp in Summer Projects Submission Submission Date[removed]:52:26 Full Name Add to Reading List Source URL: lispinsummerprojects.org Language: English - Date: 2014-07-29 16:18:58 Functional languages Lisp programming language Clojure Cross-platform software Predicate logic Lisp JavaScript Predicate Etiquette Computing Software engineering Programming language theory
33	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
34	Content ➜ Intro & motivation, getting started [1] ➜ Foundations & Principles Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Adjoint functors Program logic Computer programming Functional programming Models of computation Monad Predicate transformer semantics ALGOL 68 Hoare logic Software engineering Formal methods Computing
35	COMP 4161 NICTA Advanced Course Advanced Topics in Software Verification Toby Murray, June Andronick, Gerwin Klein HOL Add to Reading List Source URL: cs4161.web.cse.unsw.edu.au Language: English - Date: 2014-11-10 04:09:39 Lambda calculus Formal methods Predicate logic Functional languages Fixed-point combinator Id First-order logic Simply typed lambda calculus Isabelle Mathematical logic Logic Theoretical computer science
36	Artificial Intelligence E LSEV I ER Artificial Intelligence[removed]366 Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-09-16 15:57:11 Mathematics Functional predicate Function Formal grammar Definite clause grammar Context-free grammar Syntax Propositional calculus First-order logic Formal languages Logic Mathematical logic
37	GETTING STARTED WITH PURESCRIPT Michael Ficarra Add to Reading List Source URL: speakerd.s3.amazonaws.com Language: English - Date: 2015-02-04 12:33:06 Theoretical computer science Universal quantification FO Map Lambda calculus Functional predicate First-order logic Mathematical logic Logic Quantification
38	A Reference Dependency Bank for Analyzing Complex Predicates Tafseer Ahmed, Miriam Butt, Annette Hautli, Sebastian Sulger Universit¨at Konstanz [removed] Abstract When dealing with languages of Add to Reading List Source URL: www.lrec-conf.org Language: English - Date: 2012-05-16 13:57:56 Parts of speech Grammar Predicate Compound verb Subject Light verb Theta role Complement Lexical functional grammar Linguistics Syntax Semantics
39	ParGramBank: The ParGram Parallel Treebank Sebastian Sulger and Miriam Butt University of Konstanz, Germany Tracy Holloway King eBay Inc., USA Add to Reading List Source URL: aclweb.org Language: English - Date: 2013-07-25 09:24:47 Corpus linguistics Treebank Applied linguistics Corpora Lexical functional grammar Predicate Parsing Syntax International Corpus of English Linguistics Grammar Computational linguistics
40	Logical Methods in Computer Science Vol. 7 (3:[removed], pp. 1–38 www.lmcs-online.org Submitted Published Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Data Database schema Data exchange Data integration Functional predicate Schema evolution Schema Science Data management Data modeling Information